Well Ordered Subsets of Linearly Ordered Sets
نویسندگان
چکیده
منابع مشابه
Dense Subsets of Ordered Sets
Some modifications of the definition of density of subsets in ordered (= partially ordered) sets are given and the corresponding concepts are compared.
متن کاملFrom Well-Quasi-Ordered Sets to Better-Quasi-Ordered Sets
We consider conditions which force a well-quasi-ordered poset (wqo) to be betterquasi-ordered (bqo). In particular we obtain that if a poset P is wqo and the set Sω(P ) of strictly increasing sequences of elements of P is bqo under domination, then P is bqo. As a consequence, we get the same conclusion if Sω(P ) is replaced by J (P ), the collection of non-principal ideals of P , or by AM(P ), ...
متن کاملAutomorphisms of Powers of Linearly Ordered Sets
Let I = ([0; 1];_;^; 0; 1), where _ and ^ are max and min, respectively. This algebra is the basic building block of fuzzy set theory and logic. Likewise, the algebra I = ([0; 1];_;^; 0; 1), where [0; 1] = f(a; b) : a; b 2 [0; 1], a bg, _, ^ are given coordinate-wise, and 0 and 1 are the bounds on [0; 1], is the relevant algebra for interval-valued fuzzy set theory and logic. A good share of th...
متن کاملTripled partially ordered sets
In this paper, we introduce tripled partially ordered sets and monotone functions on tripled partiallyordered sets. Some basic properties on these new dened sets are studied and some examples forclarifying are given.
متن کاملPartially Well-Ordered Closed Sets of Permutations
It is known that the \pattern containment" order on permutations is not a partial well-order. Nevertheless, many naturally de ned subsets of permutations are partially well-ordered, in which case they have a strong nite basis property. Several classes are proved to be partially well-ordered under pattern containment. Conversely, a number of new antichains are exhibited that give some insight as...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1994
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1040511347